package fmse.uaic.k.context;

import fmse.uaic.k.configuration_abstraction.data_structures.ConfigurationKTree;
import fmse.uaic.k.configuration_abstraction.data_structures.RuleKTree;

public class Context {
	ConfigurationKTree configuration;
	
	public ConfigurationKTree getContext(RuleKTree rule)
	{
		
		
		return null;
	}
}
